failure 29:
Requirement failed: {log1pl.10.01.01} Function executed successfully with EOK error code, while `compare_Unifloat(x, changeSign_Unifloat(createOne_Unifloat(x->type), -1)) == -1 == true` means that EDOM SHALL be set
| location |
| trace |
/var/opt/lsb/test/olver-core/2013-01-21_10-20-40/math_exp_scenario.utz (math_exp_scenario.utt), line 44140 |
| occurence |
| scenario |
math_exp_scenario |
| specification function |
log1p_spec() |
| parameter value |
CallContext context = [pid=14267,thr=b755b6c0] |
| parameter value |
Unifloat * @x = (long double) -1.2761233000000000714635461918078363e+01 (-0x.CC2E02A77A2CF000P4L) |
| parameter value |
Unifloat * x = (long double) -1.2761233000000000714635461918078363e+01 (-0x.CC2E02A77A2CF000P4L) |
| parameter value |
Unifloat * @standart = <NULL> |
| parameter value |
Unifloat * standart = <NULL> |
| parameter value |
IntT rounding = 0 |
| parameter value |
IntT * @dist = <NULL> |
| parameter value |
IntT * dist = <NULL> |
| parameter value |
ErrorCode * @errno = EOK |
| parameter value |
ErrorCode * errno = EOK |
| return value |
(Unifloat *) (long double) NaN |
coverage
& branch |
C
x less than neg One |
| properties |
| REQ failed |
log1pl.10.01.01 |
| expected value |
(long double) NaN |
| kind |
POSTCONDITION_FAILED |
similar known bug(s)
|
The log1p(x) family of functions shall compute log(1.0 + x).
According to LSB, the functions shall fail if argument is less than -1
and set error code to EDOM.
But on the target machine the functions set error code EOK instead of EDOM if
the argument is less than -1.
|
|